home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Turnbull China Bikeride
/
Turnbull China Bikeride - Disc 2.iso
/
STUTTGART
/
TEX-UTIL
/
DVIPS_55
/
ObeyFiles
/
MkTeXPK
< prev
next >
Wrap
Text File
|
1994-02-19
|
2KB
|
56 lines
| MAKETEXPK
|
| This script file makes a new TeX PK font, because one wasn't
| found. Parameters are:
|
| name dpi bdpi magnification [mode]
|
| `name' is the name of the font, such as `cmr10'. `dpi' is
| the resolution the font is needed at. `bdpi' is the base
| resolution, useful for figuring out the mode to make the font
| in. `magnification' is a string to pass to MF as the
| magnification. `mode', if supplied, is the mode to use.
|
| Note that this file must execute Metafont, and then gftopk,
| and place the result in the correct location for the PostScript
| driver to find it subsequently. If this doesn't work, it will
| be evident because MF will be invoked over and over again.
|
| Of course, it needs to be set up for your site.
|
set DESTDIR <tex$dir>.fonts.f5
set TEMPDIR <rubbish$dir>
set NAME %0
set DPI %1
set BDPI %2
set MAG %3
if "%4" = "" then set MODE "hplaser" else set MODE %4
|
set GFNAME "<NAME>.<DPI>gf"
set PKNAME "<NAME>.<DPI>pk"
|
echo mf \mode = <MODE>; mag = <MAG>; input <NAME>
Set MF$options \mode= <MODE>; mag = <MAG>; input <NAME>
|mf { > null: }
mf
| Using BITS module
iffile <GFNAME> gftopk -v <GFNAME> <PKNAME> { > null: }
ifdir <NAME> set mfsucc true
ifdir <destdir>.<name> set defdir true
|
if "<mfsucc>" = "" then error MF failed.
if "<defdir>" = "" then cdir <destdir>.<name>
copy <pkname> <destdir>.<pkname> ~V ~C F D Q
copy <name> <tempdir> ~V ~C D F Q
|
unset defdir
unset mfsucc
unset name
unset mag
unset mode
unset bdpi
unset dpi
unset tempdir
unset destdir
|